Reasoning for Fuzzy Description Logic with Comparison Expressions
نویسندگان
چکیده
The fuzzy extensions of description logics support representation and reasoning for fuzzy knowledge. But the current fuzzy description logics do not support the expression of comparisons between fuzzy membership degrees. The paper proposes ALCfc, a fuzzy extension of description logic ALC with comparison expressions. ALCfc defines comparison cut concepts to express complex comparisons, and integrate them with fuzzy ALC. The challenges of reasoning in ALCfc is discussed, and a tableau algorithm is presented. It enables representation and reasoning for expressive fuzzy knowledge about comparisons.
منابع مشابه
Resolution Strategies for Fuzzy Description Logic
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resolutionbased reasoning is established on previous works concerning non-clausal resolution principle both theoretical and application-oriented (FPLGERDS inference engine).
متن کاملReasoning and Quantification in Fuzzy Description Logics
In this paper we introduce reasoning procedures for ALCQF , a fuzzy description logic with extended qualified quantification. The language allows for the definition of fuzzy quantifiers of the absolute and relative kind by means of piecewise linear functions on N and Q ∩ [0, 1] respectively. In order to reason about instances, the semantics of quantified expressions is defined based on recently...
متن کاملFuzzy Logic and Natural Language
One of the most important features of fuzzy set theory and fuzzy logic is their power to model semantics of a certain part of natural language. The results are further elaborated in topics such as computing with words which encompasses computing with fuzzy numbers, the theory of evaluating linguistic expressions as well as that of fuzzy IF-THEN rules and approximate reasoning. In the talk, we w...
متن کاملIntegrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relations such as left and right. Another important feature is imprecision which has to be taken into account to model vagueness, inherent to many spatial relations (as for instance vague expressions such as close to, to t...
متن کاملSelection and Classification of Statistical Data Using Fuzzy Logic
Linguistic expressions like: high rate of unemployment, or high migration level etc., are very often used in life and in statistics. The goal of this research is to capture these expressions and make them suitable for database queries and classification tasks. This paper shows differences between usual and fuzzy approaches in database queries and classification and points out advantages of the ...
متن کامل